create_constraint_lists :-
	b_setval(constraintlist, [(A=<2)]).
